Fix mini-os ia64 compilation
authorKeir Fraser <keir.fraser@citrix.com>
Thu, 18 Dec 2008 11:27:37 +0000 (11:27 +0000)
committerKeir Fraser <keir.fraser@citrix.com>
Thu, 18 Dec 2008 11:27:37 +0000 (11:27 +0000)
commitcea7a6cd7b6e6b95177ca9d93865041f5642b6e7
treeadac406ac101c288e8331810a3bbc2658ce098a1
parent6840dfbbd0605b40b4b58a5cf2b5f5b97e1ef846
Fix mini-os ia64 compilation

- Avoid nested function to avoid a trampoline.
- Do not link mini-os_app.o when it is empty.

Signed-off-by: Samuel Thibault <samuel.thibault@ens-lyon.org>
extras/mini-os/Makefile
extras/mini-os/kernel.c